We study the computational complexity of the universal and quasi-equational theories of classes of bounded distributive lattices with a negation operation, i.e., a unary operation satisfying a subset of the properties of the Boolean negation. The upper bounds are obtained through the use of partial algebras. The lower bounds are either inherited from the equational theory of bounded distributive lattices or obtained through a reduction of a global satisfiability problem for a suitable system of propositional modal logic.

Marcel Gauchet spoke of the “eclipse of the political” during the neo-liberal era, but with the rise of populism he is now forced to speak of a “revenge of the political”. As the eclipse was discussed in terms of a new era of individualization, understood as the culmination of the “disenchantment of the world”, one has a right to ask what is the place of individualization in the era of the political’s revenge, particularly as, in the face of Covid 19, (...) the refusal to wear masks is couched in terms of the defense of individual liberties? In what is an immanent critique of Gauchet’s claims, individualization is considered under four rubrics: abstract individualization vs. concrete socialization; the dilemmas of recognition; rejection of alterity; and the loss of the sense of the social. The paper concludes that the “revenge” should be understood as a revenge of an “anti-political” politics. (shrink)

Four lectures on the Philosophy of Religion are included in this compact book along with an extra chapter on the psychology of belief in God. In a search for an acceptable theism, the author examines religious faith and human personality via many theories and facets of thinking, referring to psychologists, theologians and philosophers who have battled with similar questions. Originally published a year after the lectures were presented, this is an interesting classic volume by a well-known theorist of the early (...) Twentieth Century. (shrink)

In a discussion-note in Mind, Father P. M. Farrell, O.P., gave an account, in what he admitted to be an embarrassingly brief compass, of the Thomist doctrine concerning evil. There is one sentence in this discussion which at first glance appears paradoxical. Father Farrell has been arguing that a universe containing ‘corruptible good’ as well as incorruptible is better than one containing ‘incorruptible good’ only. He continues: ‘If, however, they are to manifest this corruptible good, they must be corruptible and (...) they must sometimes corrupt.’ The final words, despite Father Farrell's italics, strike one as expressing, not a self-evident truth, but a non sequitur. The fact that I am capable of committing murder does not entail that I will at some time commit it. It is not immediately obvious that a similar entailment holds in the case of corruption and corruptibility. (shrink)

A study in philosophical logic of the meaning of 'true'. Dr Williams demonstrates the shortcomings of various analyses which interpret 'true' as a predicate or truth as a relational property, and clears up a number of important points about propositions, quantification, definite descriptions and correspondence. This 'deflationary metaphysics' is interwoven with a positive theory of his own, which seeks to develop ideas about the late Arthur Prior. The work is marked throughout by great clarity, precision and thoroughness.

One of the most extensive yet least conclusive methodological debates within religious studies revolves around the question of what, precisely, the phenomenology of religion is and what contribution it can make to the study of religion. I do not intend to answer this important question here. To do so satisfactorily would require a range of historical, philosophical and methodological inquiry which would go quite beyond the bounds of a single article. My intention in this paper is, by comparison, unambitious. It (...) is to take one view of what phenomenology of religion is and to consider an area outside that usually explored by students of religion which can, nonetheless, shed some light on how religions might be studied in a way which is in accordance with the phenomenology of religion so understood. What follows will offer an answer to the question of what contribution one particular understanding of phenomenology might make to the study of religion, but no attempt will be made to establish whether or not this particular understanding ought to be regarded as normative. (shrink)

Christology seems to fall fairly clearly into two divisions. The first is concerned with the truth of the two propositions: ‘Christ is God’ and ‘Christ is a man’. The second is concerned with the mutual compatibility of these propositions. The first part of Christology tends to confine itself to what is sometimes called ‘positive theology’: that is to say, it is largely given over to examining the Jons revelationis —let us not prejudge currently burning issues by asking what this is—to (...) see what evidence can be found for the truth of these propositions. Clearly, the methods used will be above all those of New Testament exegesis. The second part of Christology will necessarily consist entirely of that speculative theology which is contrasted with positive theology. Even if the earliest speculation on this topic is to be found in the New Testament itself and thus becomes fair game for the exegetes, any attempt to relate the primary truths, ‘Christ is God’ and ‘Christ is a man’, to eachother is a work of reflection, and in the terminology I am using speculative. (shrink)

"This edition, which replaces the original Loeb edition..., offers text, translation, and annotation that are fully current with modern scholarship"--Front flap of dust jacket, volume 1.

This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There are many interesting results already, but there are also many natural questions still to be answered. The book is self-contained in that it includes necessary background material from recursion theory (ordinal notations, (...) the hyperarithmetical hierarchy) and model theory (infinitary formulas, consistency properties). (shrink)

_Verificationism_ is the first comprehensive history of a concept that dominated philosophy and scientific methodology between the 1930s and the 1960s. The verificationist principle - the concept that a belief with no connection to experience is spurious - is the most sophisticated version of empiricism. More flexible ideas of verification are now being rehabilitated by a number of philosophers. C.J. Misak surveys the precursors, the main proponents and the rehabilitators. Unlike traditional studies, she follows verificationist theory beyond the demise of (...) positivism to examine its reappearance in the work of modern philosophers. Most interestingly, she argues that despite feminism's strenuous opposition to positivism, verificationist thought is at the heart of much of contemporary feminist philosophy. _Verificationism_ is an excellent assessment of a major and influential system of thought. (shrink)

In his celebrated masterpiece, Symposium, Plato imagines a high-society dinner-party in Athens in 416 BC at which the guests - including the comic poet Aristophanes and, of course, Plato's mentor Socrates - each deliver a short speech in praise of love. The sequence of dazzling speeches culminates in Socrates' famous account of the views of Diotima, a prophetess who taught him that love is our means of trying to attain goodness. And then into the party bursts the drunken Alcibiades, the (...) most popular and notorious Athenian of the time, who insists on praising Socrates himself rather than love, and gives us a brilliant sketch of this enigmatic character. The power, humour, and pathos of Plato's creation engages the reader on every page. This new translation is complemented by full explanatory notes and an illuminating introduction. (shrink)

The duality of attention is explored by turning our focus to the political and cultural conceptions of automatic attention and deliberate attention, with the former being associated with animality and “uncivilized” behavior and the latter with intelligence and self-mastery. In this article, I trace this ongoing dualism of the mind from early race psychology in the late nineteenth century to twentieth century psychological models including those found in psychoanalysis, behaviorism, neo-behaviorism, and behavioral economics. These earlier studies explicitly or implicitly maintained (...) a deficiency model of controlled attention and other mental processes that were thought to differ between racial groups. Such early models of attention included assumptions that Black and Indigenous peoples were less in control of their attention compared to whites. This racialized model of attention, as seen in the law of economy in the nineteenth century, with similar manifestations in psychoanalysis and neo-behaviorism in the twentieth century, can now be seen in present-day dual-process models as used in current psychological research and behavioral policy. These historical connections show that attention is not a value-neutral term and that attention studies do not stand outside of race and structural racism. (shrink)

Kant asserts that we cannot represent to ourselves the non-existence of space. In his discussion of the Ontological Argument he maintains that there is nothing whose non-existence is inconceivable. He thus seems to contradict himself. If the non-existence of space is unthinkable, so is the non-existence of a part of space — a place. Indicating a particular place, we might say "There are no objects there", but it would be nonsense to say "There doesn't exist". We can say, as Aristotle (...) saw, "There is a place where there was water and where there is now air"; but to do so is to bind an adverbial variable with a quantifier, not to attach "exists" to the name of a place. To assert of a place, or of space, that it exists or that it does not exist would be nonsense, and the unthinkable in that sense is not something whose negation is, as Kant thought, a necessary truth. (shrink)

This essay looks into the paradoxical friendship of Jacques Maritain, a Catholic philosopher, and Saul Alinsky, a radical community organizer. Commentators Bernard Doering and Charles Curran have used the fact of this friendship to draw the erroneous conclusion that Maritain approved of Alinsky’s philosophy. However, a closer look at their respective writings shows that Maritain and Alinsky retained profound disagreements on basic philosophical issues. Particular attention is paid to Maritain’s letter in response to Alinsky’s Rules for Radicals, in which Maritain (...) raised objections to many of Alinsky’s ideas. Thus, Maritain didnot compromise his Christian worldview. (shrink)

Ash, C.J., Generalizations of enumeration reducibility using recursive infinitary propositional sentences, Annals of Pure and Applied Logic 58 173–184. We consider the relation between sets A and B that for every set S if A is Σ0α in S then B is Σ0β in S. We show that this is equivalent to the condition that B is definable from A in a particular way involving recursive infinitary propositional sentences. When α = β = 1, this condition is that B is (...) enumeration reducible to A. We establish further generalizations involving infinitely many sets and ordinals. (shrink)